United States mathematician who contributed to the development of atom bombs and of stored-program digital computers (1903-1957)